In [1]:
import pandas as pd, numpy as np, matplotlib.pyplot as plt, matplotlib
import hvplot.pandas
import tensorflow as tf
from termcolor import colored

pd.options.plotting.backend = 'holoviews'
matplotlib.style.use("seaborn-whitegrid")
pd.set_option("display.width", 5000)
pd.set_option("display.max_columns", 60)
plt.rcParams["figure.figsize"] = (15, 10)
import tensorflow.keras as keras
import tensorflow_datasets as tfds
from tensorboard.plugins import projector
%config InlineBackend.figure_format = 'retina'
# %config InlineBackend.figure_format = 'svg' 

from IPython.core.interactiveshell import InteractiveShell
InteractiveShell.ast_node_interactivity = "all"

import warnings
warnings.simplefilter('ignore')
pd.set_option('display.float_format', lambda x: '%.3f' % x)
In [2]:
df = pd.read_csv(
    "https://raw.githubusercontent.com/t-davidson/hate-speech-and-offensive-language/master/data/labeled_data.csv"
)
In [3]:
positive = pd.read_csv('/Users/glebsokolov/Downloads/archive/processedPositive.csv').T.reset_index().rename(columns={'index':'tweet'})
neutral = pd.read_csv('/Users/glebsokolov/Downloads/archive/processedNeutral.csv').T.reset_index().rename(columns={'index':'tweet'})
positive['class'], neutral['class'] = 2, 2
positive.head();
neutral.head();

count = number of CrowdFlower users who coded each tweet (min is 3, sometimes more users coded a tweet when judgments were determined to be unreliable by CF).

hate_speech = number of CF users who judged the tweet to be hate speech.

offensive_language = number of CF users who judged the tweet to be offensive.

neither = number of CF users who judged the tweet to be neither offensive nor non-offensive.

class = class label for majority of CF users. 0 - hate speech 1 - offensive language 2 - neither

In [4]:
df.info()
# df.drop('Unnamed: 0', axis=1, inplace=True)
df.head()
df['class'].value_counts(normalize=True)
df = pd.concat([df[['tweet', 'class']], positive, neutral], axis=0, ignore_index=True)
df['class'].value_counts(normalize=True)
<class 'pandas.core.frame.DataFrame'>
RangeIndex: 24783 entries, 0 to 24782
Data columns (total 7 columns):
 #   Column              Non-Null Count  Dtype 
---  ------              --------------  ----- 
 0   Unnamed: 0          24783 non-null  int64 
 1   count               24783 non-null  int64 
 2   hate_speech         24783 non-null  int64 
 3   offensive_language  24783 non-null  int64 
 4   neither             24783 non-null  int64 
 5   class               24783 non-null  int64 
 6   tweet               24783 non-null  object
dtypes: int64(6), object(1)
memory usage: 1.3+ MB
Out[4]:
Unnamed: 0 count hate_speech offensive_language neither class tweet
0 0 3 0 0 3 2 !!! RT @mayasolovely: As a woman you shouldn't...
1 1 3 0 3 0 1 !!!!! RT @mleew17: boy dats cold...tyga dwn ba...
2 2 3 0 3 0 1 !!!!!!! RT @UrKindOfBrand Dawg!!!! RT @80sbaby...
3 3 3 0 2 1 1 !!!!!!!!! RT @C_G_Anderson: @viva_based she lo...
4 4 6 0 6 0 1 !!!!!!!!!!!!! RT @ShenikaRoberts: The shit you...
Out[4]:
1   0.774
2   0.168
0   0.058
Name: class, dtype: float64
Out[4]:
1   0.697
2   0.251
0   0.052
Name: class, dtype: float64
In [5]:
import os
directory = '/Users/glebsokolov/hate-speech-dataset/all_files/class_a/'
files = os.listdir('/Users/glebsokolov/hate-speech-dataset/all_files/class_a/')
i = df.shape[0]
hatespeechlist=[]
for file in files:
    i += 1
    with open(os.path.join(directory, file), 'r') as f: 
        text = f.read()
        hatespeechlist.append(text)
In [6]:
temp = pd.DataFrame([{'tweet':text, 'class':0} for text in hatespeechlist], index=list(range(len(hatespeechlist))))
df = pd.concat([df, temp], ignore_index=True)
df['class'].value_counts(normalize=True)
Out[6]:
1   0.499
0   0.322
2   0.180
Name: class, dtype: float64
In [7]:
df = df.sample(frac=1)
train = df.sample(frac=0.8)
test = df.drop(labels=train.index)
In [8]:
def preprocess(X_batch, y_batch):
    X_batch = tf.strings.substr(X_batch, 0, 300)
    X_batch = tf.strings.lower(X_batch)
    X_batch = tf.strings.regex_replace(X_batch, b"<br\\s*/?>", b" ")
    X_batch = tf.strings.regex_replace(X_batch, b"[^a-zA-Z']", b" ")
    X_batch = tf.strings.split(X_batch)
    return X_batch.to_tensor(default_value=b"<pad>"), y_batch
In [9]:
texts = tf.data.Dataset.from_tensor_slices(preprocess(train.tweet, train["class"])[0])
test_texts = tf.data.Dataset.from_tensor_slices(
    preprocess(test.tweet, test["class"])[0]
)
2022-05-26 17:19:26.080627: I tensorflow/core/platform/cpu_feature_guard.cc:193] This TensorFlow binary is optimized with oneAPI Deep Neural Network Library (oneDNN) to use the following CPU instructions in performance-critical operations:  AVX2 FMA
To enable them in other operations, rebuild TensorFlow with the appropriate compiler flags.
In [10]:
from keras.utils.np_utils import to_categorical

y, test_y = tf.data.Dataset.from_tensor_slices(
    to_categorical(train["class"])
), tf.data.Dataset.from_tensor_slices(to_categorical(test["class"]))
train, test = tf.data.Dataset.zip((texts, y)), tf.data.Dataset.zip((test_texts, test_y))
In [11]:
from collections import Counter

vocabulary = Counter()
for X_batch, y_batch in train.batch(32):
    for review in X_batch:
        vocabulary.update(list(review.numpy()))
vocab_size = 10000
truncated_vocabulary = [word for word, count in vocabulary.most_common()[:vocab_size]]
In [12]:
words = tf.constant(truncated_vocabulary)
word_ids = tf.range(len(truncated_vocabulary), dtype=tf.int64)
vocab_init = tf.lookup.KeyValueTensorInitializer(words, word_ids)
num_oov_buckets = 1000
table = tf.lookup.StaticVocabularyTable(vocab_init, num_oov_buckets)
In [13]:
def encode_words(X_batch, y_batch):
    return table.lookup(X_batch), y_batch


train, test = train.batch(32).map(encode_words).prefetch(1), test.batch(32).map(
    encode_words
).prefetch(1)
In [17]:
(train_data, test_data), info = tfds.load(
    "imdb_reviews/subwords8k",
    split=(tfds.Split.TRAIN, tfds.Split.TEST),
    with_info=True,
    as_supervised=True,
)
encoder = info.features["text"].encoder
WARNING:absl:TFDS datasets with text encoding are deprecated and will be removed in a future version. Instead, you should use the plain text version and tokenize the text using `tensorflow_text` (See: https://www.tensorflow.org/tutorials/tensorflow_text/intro#tfdata_example)
2022-05-26 11:03:40.514766: W tensorflow/core/platform/cloud/google_auth_provider.cc:184] All attempts to get a Google authentication bearer token failed, returning an empty token. Retrieving token from files failed with "NOT_FOUND: Could not locate the credentials file.". Retrieving token from GCE failed with "FAILED_PRECONDITION: Error executing an HTTP request: libcurl code 6 meaning 'Couldn't resolve host name', error details: Could not resolve host: metadata".
Downloading and preparing dataset 80.23 MiB (download: 80.23 MiB, generated: Unknown size, total: 80.23 MiB) to /Users/glebsokolov/tensorflow_datasets/imdb_reviews/subwords8k/1.0.0...
Dl Completed...: 0 url [00:00, ? url/s]
Dl Size...: 0 MiB [00:00, ? MiB/s]
Generating splits...:   0%|          | 0/3 [00:00<?, ? splits/s]
Generating train examples...:   0%|          | 0/25000 [00:00<?, ? examples/s]
Shuffling /Users/glebsokolov/tensorflow_datasets/imdb_reviews/subwords8k/1.0.0.incomplete0IORLZ/imdb_reviews-t…
Generating test examples...:   0%|          | 0/25000 [00:00<?, ? examples/s]
Shuffling /Users/glebsokolov/tensorflow_datasets/imdb_reviews/subwords8k/1.0.0.incomplete0IORLZ/imdb_reviews-t…
Generating unsupervised examples...:   0%|          | 0/50000 [00:00<?, ? examples/s]
Shuffling /Users/glebsokolov/tensorflow_datasets/imdb_reviews/subwords8k/1.0.0.incomplete0IORLZ/imdb_reviews-u…
WARNING:absl:Dataset is using deprecated text encoder API which will be removed soon. Please use the plain_text version of the dataset and migrate to `tensorflow_text`.
Dataset imdb_reviews downloaded and prepared to /Users/glebsokolov/tensorflow_datasets/imdb_reviews/subwords8k/1.0.0. Subsequent calls will reuse this data.
In [11]:
import os
# Set up a logs directory, so Tensorboard knows where to look for files.
log_dir=os.path.join(os.getcwd(),'logs/hateSpeechDetection/')
if not os.path.exists(log_dir):
    os.makedirs(log_dir)
In [12]:
%%capture
# Save Labels separately on a line-by-line manner.
with open(os.path.join(log_dir, 'metadata.tsv'), "w") as f:
  for word in words:
    f.write("{}\n".format(word))
  # Fill in the rest of the labels with "unknown".
  for unknown in range(1, num_oov_buckets):
    f.write("unknown #{}\n".format(unknown))
In [14]:
from sklearn.decomposition import PCA
In [15]:
embed_size = 128
embedding = keras.layers.Embedding(
            vocab_size + num_oov_buckets, embed_size, input_shape=[None], mask_zero=True
        )
model = keras.models.Sequential(
    [
        embedding,
        keras.layers.GRU(128, return_sequences=True),
        keras.layers.GRU(128),
        keras.layers.Dense(3, activation="softmax"),
    ]
)
model.compile(loss="categorical_crossentropy", optimizer="adam", metrics=["accuracy"])
In [16]:
early_stopping_cb = keras.callbacks.EarlyStopping(patience=2, restore_best_weights=True)
history = model.fit(
    train, epochs=5, validation_data=test, callbacks=early_stopping_cb
)  # disabled after learning
Epoch 1/5
963/963 [==============================] - 182s 181ms/step - loss: 0.3778 - accuracy: 0.8582 - val_loss: 0.2777 - val_accuracy: 0.9068
Epoch 2/5
963/963 [==============================] - 167s 173ms/step - loss: 0.2130 - accuracy: 0.9273 - val_loss: 0.2920 - val_accuracy: 0.9019
Epoch 3/5
963/963 [==============================] - 168s 175ms/step - loss: 0.1419 - accuracy: 0.9539 - val_loss: 0.3776 - val_accuracy: 0.8918
In [13]:
config = projector.ProjectorConfig()
embedding = config.embeddings.add()
embedding.tensor_name = "embedding/.ATTRIBUTES/VARIABLE_VALUE"
embedding.metadata_path = 'metadata.tsv'
projector.visualize_embeddings(log_dir, config)
In [87]:
from sklearn.manifold import LocallyLinearEmbedding
In [89]:
pca, lle = PCA(n_components=2), LocallyLinearEmbedding(n_components=2)
weights = tf.Variable(model.layers[0].get_weights()[0][1:])
reduced_pca, reduced_lle = pca.fit_transform(weights), lle.fit_transform(weights)
In [90]:
import os
with open(os.path.join(os.getcwd(), 'metadata.tsv'), "w") as f:
  for word in words:
    f.write("{}\n".format(word))
Out[90]:
9
Out[90]:
7
Out[90]:
5
Out[90]:
5
Out[90]:
6
Out[90]:
7
Out[90]:
9
Out[90]:
7
Out[90]:
6
Out[90]:
6
Out[90]:
6
Out[90]:
8
Out[90]:
6
Out[90]:
6
Out[90]:
7
Out[90]:
6
Out[90]:
6
Out[90]:
8
Out[90]:
8
Out[90]:
6
Out[90]:
6
Out[90]:
5
Out[90]:
8
Out[90]:
8
Out[90]:
11
Out[90]:
6
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
7
Out[90]:
6
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
6
Out[90]:
6
Out[90]:
7
Out[90]:
7
Out[90]:
7
Out[90]:
6
Out[90]:
6
Out[90]:
8
Out[90]:
7
Out[90]:
7
Out[90]:
9
Out[90]:
6
Out[90]:
6
Out[90]:
7
Out[90]:
9
Out[90]:
6
Out[90]:
9
Out[90]:
9
Out[90]:
7
Out[90]:
6
Out[90]:
7
Out[90]:
5
Out[90]:
8
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
6
Out[90]:
8
Out[90]:
8
Out[90]:
7
Out[90]:
9
Out[90]:
7
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
6
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
6
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
6
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
6
Out[90]:
8
Out[90]:
8
Out[90]:
7
Out[90]:
10
Out[90]:
7
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
7
Out[90]:
7
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
6
Out[90]:
6
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
11
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
6
Out[90]:
11
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
5
Out[90]:
8
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
6
Out[90]:
9
Out[90]:
6
Out[90]:
8
Out[90]:
6
Out[90]:
10
Out[90]:
5
Out[90]:
9
Out[90]:
7
Out[90]:
5
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
7
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
6
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
5
Out[90]:
8
Out[90]:
5
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
6
Out[90]:
7
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
13
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
6
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
6
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
5
Out[90]:
10
Out[90]:
5
Out[90]:
7
Out[90]:
7
Out[90]:
5
Out[90]:
8
Out[90]:
5
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
6
Out[90]:
8
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
6
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
6
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
5
Out[90]:
5
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
5
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
5
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
6
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
7
Out[90]:
5
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
14
Out[90]:
7
Out[90]:
7
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
12
Out[90]:
5
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
5
Out[90]:
7
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
7
Out[90]:
9
Out[90]:
5
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
6
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
5
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
7
Out[90]:
5
Out[90]:
12
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
12
Out[90]:
7
Out[90]:
7
Out[90]:
9
Out[90]:
12
Out[90]:
6
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
6
Out[90]:
7
Out[90]:
8
Out[90]:
13
Out[90]:
6
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
5
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
14
Out[90]:
8
Out[90]:
7
Out[90]:
7
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
5
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
12
Out[90]:
13
Out[90]:
8
Out[90]:
8
Out[90]:
6
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
8
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
6
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
13
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
7
Out[90]:
10
Out[90]:
6
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
6
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
12
Out[90]:
11
Out[90]:
7
Out[90]:
10
Out[90]:
11
Out[90]:
7
Out[90]:
10
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
12
Out[90]:
6
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
7
Out[90]:
7
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
14
Out[90]:
7
Out[90]:
7
Out[90]:
11
Out[90]:
7
Out[90]:
10
Out[90]:
13
Out[90]:
9
Out[90]:
6
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
6
Out[90]:
14
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
6
Out[90]:
7
Out[90]:
7
Out[90]:
11
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
7
Out[90]:
9
Out[90]:
8
Out[90]:
6
Out[90]:
11
Out[90]:
14
Out[90]:
7
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
5
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
15
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
7
Out[90]:
9
Out[90]:
12
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
6
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
7
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
6
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
13
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
6
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
6
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
13
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
12
Out[90]:
14
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
12
Out[90]:
7
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
5
Out[90]:
9
Out[90]:
11
Out[90]:
7
Out[90]:
13
Out[90]:
9
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
13
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
7
Out[90]:
7
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
10
Out[90]:
13
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
6
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
13
Out[90]:
6
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
13
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
6
Out[90]:
14
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
7
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
12
Out[90]:
7
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
16
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
6
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
7
Out[90]:
13
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
6
Out[90]:
8
Out[90]:
12
Out[90]:
11
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
12
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
6
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
14
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
7
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
7
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
11
Out[90]:
12
Out[90]:
8
Out[90]:
11
Out[90]:
15
Out[90]:
10
Out[90]:
13
Out[90]:
6
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
13
Out[90]:
8
Out[90]:
13
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
7
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
6
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
13
Out[90]:
14
Out[90]:
8
Out[90]:
11
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
11
Out[90]:
7
Out[90]:
13
Out[90]:
7
Out[90]:
10
Out[90]:
6
Out[90]:
11
Out[90]:
11
Out[90]:
14
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
13
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
14
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
7
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
13
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
13
Out[90]:
7
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
13
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
10
Out[90]:
6
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
13
Out[90]:
9
Out[90]:
8
Out[90]:
14
Out[90]:
9
Out[90]:
7
Out[90]:
13
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
6
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
15
Out[90]:
9
Out[90]:
14
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
6
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
11
Out[90]:
13
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
7
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
6
Out[90]:
12
Out[90]:
7
Out[90]:
11
Out[90]:
12
Out[90]:
7
Out[90]:
8
Out[90]:
7
Out[90]:
13
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
7
Out[90]:
12
Out[90]:
6
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
6
Out[90]:
6
Out[90]:
9
Out[90]:
7
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
18
Out[90]:
10
Out[90]:
6
Out[90]:
12
Out[90]:
8
Out[90]:
13
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
11
Out[90]:
12
Out[90]:
7
Out[90]:
14
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
15
Out[90]:
8
Out[90]:
8
Out[90]:
6
Out[90]:
7
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
6
Out[90]:
7
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
14
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
6
Out[90]:
9
Out[90]:
7
Out[90]:
6
Out[90]:
9
Out[90]:
14
Out[90]:
13
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
14
Out[90]:
8
Out[90]:
6
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
14
Out[90]:
9
Out[90]:
11
Out[90]:
6
Out[90]:
8
Out[90]:
14
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
14
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
13
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
12
Out[90]:
12
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
7
Out[90]:
12
Out[90]:
8
Out[90]:
12
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
14
Out[90]:
11
Out[90]:
9
Out[90]:
7
Out[90]:
7
Out[90]:
10
Out[90]:
6
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
15
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
6
Out[90]:
9
Out[90]:
9
Out[90]:
6
Out[90]:
8
Out[90]:
7
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
13
Out[90]:
16
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
11
Out[90]:
12
Out[90]:
13
Out[90]:
10
Out[90]:
7
Out[90]:
11
Out[90]:
8
Out[90]:
6
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
6
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
14
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
10
Out[90]:
13
Out[90]:
8
Out[90]:
7
Out[90]:
13
Out[90]:
12
Out[90]:
12
Out[90]:
7
Out[90]:
9
Out[90]:
7
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
12
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
13
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
13
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
9
Out[90]:
13
Out[90]:
8
Out[90]:
13
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
7
Out[90]:
8
Out[90]:
11
Out[90]:
7
Out[90]:
6
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
14
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
12
Out[90]:
13
Out[90]:
19
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
14
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
12
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
12
Out[90]:
7
Out[90]:
7
Out[90]:
7
Out[90]:
7
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
7
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
7
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
6
Out[90]:
10
Out[90]:
15
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
13
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
16
Out[90]:
9
Out[90]:
9
Out[90]:
17
Out[90]:
10
Out[90]:
11
Out[90]:
7
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
7
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
12
Out[90]:
18
Out[90]:
8
Out[90]:
9
Out[90]:
13
Out[90]:
8
Out[90]:
11
Out[90]:
13
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
14
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
6
Out[90]:
8
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
12
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
13
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
7
Out[90]:
8
Out[90]:
6
Out[90]:
8
Out[90]:
13
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
7
Out[90]:
17
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
16
Out[90]:
12
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
14
Out[90]:
11
Out[90]:
18
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
14
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
17
Out[90]:
17
Out[90]:
7
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
6
Out[90]:
8
Out[90]:
11
Out[90]:
6
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
13
Out[90]:
11
Out[90]:
7
Out[90]:
6
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
14
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
8
Out[90]:
6
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
6
Out[90]:
9
Out[90]:
16
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
15
Out[90]:
12
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
11
Out[90]:
13
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
13
Out[90]:
9
Out[90]:
12
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
6
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
7
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
6
Out[90]:
10
Out[90]:
11
Out[90]:
6
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
13
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
6
Out[90]:
9
Out[90]:
9
Out[90]:
7
Out[90]:
13
Out[90]:
9
Out[90]:
13
Out[90]:
14
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
15
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
11
Out[90]:
7
Out[90]:
15
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
7
Out[90]:
8
Out[90]:
11
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
6
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
14
Out[90]:
12
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
6
Out[90]:
7
Out[90]:
9
Out[90]:
6
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
13
Out[90]:
10
Out[90]:
6
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
14
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
6
Out[90]:
12
Out[90]:
7
Out[90]:
6
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
6
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
15
Out[90]:
12
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
13
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
16
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
6
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
15
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
7
Out[90]:
10
Out[90]:
6
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
6
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
14
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
7
Out[90]:
6
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
12
Out[90]:
11
Out[90]:
7
Out[90]:
10
Out[90]:
6
Out[90]:
13
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
7
Out[90]:
14
Out[90]:
11
Out[90]:
7
Out[90]:
12
Out[90]:
9
Out[90]:
15
Out[90]:
8
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
11
Out[90]:
14
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
12
Out[90]:
13
Out[90]:
12
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
11
Out[90]:
14
Out[90]:
7
Out[90]:
13
Out[90]:
12
Out[90]:
11
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
14
Out[90]:
10
Out[90]:
10
Out[90]:
7
Out[90]:
16
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
13
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
7
Out[90]:
7
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
7
Out[90]:
6
Out[90]:
11
Out[90]:
11
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
12
Out[90]:
12
Out[90]:
13
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
6
Out[90]:
11
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
13
Out[90]:
9
Out[90]:
11
Out[90]:
13
Out[90]:
10
Out[90]:
12
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
7
Out[90]:
11
Out[90]:
11
Out[90]:
16
Out[90]:
9
Out[90]:
15
Out[90]:
6
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
16
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
13
Out[90]:
9
Out[90]:
12
Out[90]:
7
Out[90]:
9
Out[90]:
7
Out[90]:
16
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
12
Out[90]:
7
Out[90]:
11
Out[90]:
12
Out[90]:
12
Out[90]:
7
Out[90]:
11
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
6
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
7
Out[90]:
10
Out[90]:
12
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
15
Out[90]:
13
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
15
Out[90]:
7
Out[90]:
11
Out[90]:
7
Out[90]:
13
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
11
Out[90]:
16
Out[90]:
7
Out[90]:
14
Out[90]:
9
Out[90]:
19
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
6
Out[90]:
11
Out[90]:
20
Out[90]:
8
Out[90]:
11
Out[90]:
6
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
12
Out[90]:
13
Out[90]:
13
Out[90]:
11
Out[90]:
17
Out[90]:
9
Out[90]:
14
Out[90]:
7
Out[90]:
6
Out[90]:
12
Out[90]:
9
Out[90]:
12
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
6
Out[90]:
13
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
11
Out[90]:
16
Out[90]:
12
Out[90]:
9
Out[90]:
6
Out[90]:
6
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
6
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
13
Out[90]:
13
Out[90]:
14
Out[90]:
13
Out[90]:
17
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
6
Out[90]:
10
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
6
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
6
Out[90]:
11
Out[90]:
10
Out[90]:
14
Out[90]:
6
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
6
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
19
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
13
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
13
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
7
Out[90]:
12
Out[90]:
9
Out[90]:
10
Out[90]:
14
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
13
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
11
Out[90]:
7
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
7
Out[90]:
12
Out[90]:
11
Out[90]:
11
Out[90]:
12
Out[90]:
12
Out[90]:
7
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
16
Out[90]:
10
Out[90]:
6
Out[90]:
9
Out[90]:
13
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
13
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
14
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
13
Out[90]:
16
Out[90]:
14
Out[90]:
11
Out[90]:
10
Out[90]:
7
Out[90]:
13
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
6
Out[90]:
12
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
15
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
13
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
13
Out[90]:
11
Out[90]:
7
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
13
Out[90]:
9
Out[90]:
9
Out[90]:
16
Out[90]:
7
Out[90]:
11
Out[90]:
6
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
7
Out[90]:
13
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
13
Out[90]:
11
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
6
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
6
Out[90]:
11
Out[90]:
7
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
14
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
7
Out[90]:
7
Out[90]:
6
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
7
Out[90]:
7
Out[90]:
12
Out[90]:
11
Out[90]:
8
Out[90]:
15
Out[90]:
12
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
16
Out[90]:
8
Out[90]:
10
Out[90]:
12
Out[90]:
15
Out[90]:
8
Out[90]:
8
Out[90]:
14
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
6
Out[90]:
7
Out[90]:
9
Out[90]:
19
Out[90]:
7
Out[90]:
12
Out[90]:
8
Out[90]:
12
Out[90]:
7
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
14
Out[90]:
9
Out[90]:
12
Out[90]:
6
Out[90]:
17
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
12
Out[90]:
13
Out[90]:
6
Out[90]:
8
Out[90]:
11
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
8
Out[90]:
11
Out[90]:
6
Out[90]:
14
Out[90]:
12
Out[90]:
7
Out[90]:
9
Out[90]:
6
Out[90]:
6
Out[90]:
11
Out[90]:
13
Out[90]:
11
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
9
Out[90]:
12
Out[90]:
6
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
13
Out[90]:
7
Out[90]:
13
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
7
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
13
Out[90]:
9
Out[90]:
6
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
15
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
17
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
12
Out[90]:
14
Out[90]:
9
Out[90]:
7
Out[90]:
9
Out[90]:
6
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
7
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
7
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
17
Out[90]:
9
Out[90]:
13
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
17
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
14
Out[90]:
11
Out[90]:
9
Out[90]:
17
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
13
Out[90]:
8
Out[90]:
6
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
14
Out[90]:
12
Out[90]:
7
Out[90]:
10
Out[90]:
6
Out[90]:
6
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
7
Out[90]:
7
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
6
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
6
Out[90]:
14
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
7
Out[90]:
15
Out[90]:
12
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
13
Out[90]:
6
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
12
Out[90]:
9
Out[90]:
13
Out[90]:
9
Out[90]:
9
Out[90]:
12
Out[90]:
6
Out[90]:
6
Out[90]:
9
Out[90]:
9
Out[90]:
13
Out[90]:
8
Out[90]:
12
Out[90]:
12
Out[90]:
6
Out[90]:
13
Out[90]:
8
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
13
Out[90]:
9
Out[90]:
9
Out[90]:
6
Out[90]:
11
Out[90]:
7
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
6
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
7
Out[90]:
10
Out[90]:
12
Out[90]:
7
Out[90]:
9
Out[90]:
12
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
13
Out[90]:
8
Out[90]:
10
Out[90]:
14
Out[90]:
11
Out[90]:
11
Out[90]:
6
Out[90]:
8
Out[90]:
9
Out[90]:
18
Out[90]:
9
Out[90]:
8
Out[90]:
6
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
13
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
13
Out[90]:
7
Out[90]:
10
Out[90]:
11
Out[90]:
7
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
7
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
13
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
13
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
7
Out[90]:
7
Out[90]:
7
Out[90]:
7
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
6
Out[90]:
10
Out[90]:
9
Out[90]:
13
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
13
Out[90]:
7
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
15
Out[90]:
13
Out[90]:
11
Out[90]:
11
Out[90]:
15
Out[90]:
15
Out[90]:
7
Out[90]:
11
Out[90]:
13
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
6
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
15
Out[90]:
12
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
15
Out[90]:
14
Out[90]:
7
Out[90]:
13
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
13
Out[90]:
7
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
13
Out[90]:
8
Out[90]:
10
Out[90]:
6
Out[90]:
10
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
12
Out[90]:
12
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
7
Out[90]:
7
Out[90]:
9
Out[90]:
13
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
15
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
6
Out[90]:
10
Out[90]:
13
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
14
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
6
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
13
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
14
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
12
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
14
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
7
Out[90]:
6
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
13
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
6
Out[90]:
6
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
13
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
6
Out[90]:
9
Out[90]:
18
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
13
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
13
Out[90]:
11
Out[90]:
7
Out[90]:
9
Out[90]:
14
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
6
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
7
Out[90]:
8
Out[90]:
12
Out[90]:
7
Out[90]:
14
Out[90]:
9
Out[90]:
7
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
6
Out[90]:
13
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
7
Out[90]:
14
Out[90]:
14
Out[90]:
13
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
8
Out[90]:
6
Out[90]:
13
Out[90]:
8
Out[90]:
11
Out[90]:
13
Out[90]:
9
Out[90]:
12
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
14
Out[90]:
8
Out[90]:
19
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
14
Out[90]:
11
Out[90]:
17
Out[90]:
7
Out[90]:
13
Out[90]:
11
Out[90]:
12
Out[90]:
8
Out[90]:
14
Out[90]:
12
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
14
Out[90]:
10
Out[90]:
13
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
13
Out[90]:
16
Out[90]:
12
Out[90]:
13
Out[90]:
11
Out[90]:
12
Out[90]:
12
Out[90]:
6
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
13
Out[90]:
11
Out[90]:
13
Out[90]:
14
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
14
Out[90]:
9
Out[90]:
11
Out[90]:
7
Out[90]:
12
Out[90]:
14
Out[90]:
12
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
6
Out[90]:
6
Out[90]:
14
Out[90]:
12
Out[90]:
14
Out[90]:
15
Out[90]:
14
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
15
Out[90]:
11
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
16
Out[90]:
6
Out[90]:
13
Out[90]:
17
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
13
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
6
Out[90]:
8
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
14
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
15
Out[90]:
14
Out[90]:
7
Out[90]:
13
Out[90]:
8
Out[90]:
10
Out[90]:
13
Out[90]:
8
Out[90]:
15
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
18
Out[90]:
13
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
15
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
6
Out[90]:
12
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
13
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
7
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
13
Out[90]:
11
Out[90]:
7
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
13
Out[90]:
12
Out[90]:
10
Out[90]:
13
Out[90]:
9
Out[90]:
9
Out[90]:
12
Out[90]:
7
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
15
Out[90]:
13
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
7
Out[90]:
7
Out[90]:
7
Out[90]:
14
Out[90]:
9
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
17
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
7
Out[90]:
13
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
13
Out[90]:
10
Out[90]:
9
Out[90]:
14
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
7
Out[90]:
9
Out[90]:
13
Out[90]:
17
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
9
Out[90]:
7
Out[90]:
7
Out[90]:
11
Out[90]:
6
Out[90]:
11
Out[90]:
17
Out[90]:
9
Out[90]:
18
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
12
Out[90]:
17
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
13
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
14
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
8
Out[90]:
8
Out[90]:
13
Out[90]:
7
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
12
Out[90]:
14
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
13
Out[90]:
13
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
17
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
13
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
6
Out[90]:
11
Out[90]:
8
Out[90]:
14
Out[90]:
12
Out[90]:
8
Out[90]:
14
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
13
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
6
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
18
Out[90]:
9
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
16
Out[90]:
6
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
15
Out[90]:
11
Out[90]:
15
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
12
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
15
Out[90]:
6
Out[90]:
6
Out[90]:
16
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
6
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
6
Out[90]:
8
Out[90]:
11
Out[90]:
13
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
15
Out[90]:
13
Out[90]:
14
Out[90]:
17
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
6
Out[90]:
10
Out[90]:
12
Out[90]:
12
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
8
Out[90]:
11
Out[90]:
13
Out[90]:
7
Out[90]:
14
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
6
Out[90]:
10
Out[90]:
14
Out[90]:
15
Out[90]:
12
Out[90]:
7
Out[90]:
11
Out[90]:
10
Out[90]:
18
Out[90]:
14
Out[90]:
13
Out[90]:
9
Out[90]:
13
Out[90]:
10
Out[90]:
8
Out[90]:
13
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
13
Out[90]:
7
Out[90]:
18
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
16
Out[90]:
10
Out[90]:
12
Out[90]:
14
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
6
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
7
Out[90]:
12
Out[90]:
10
Out[90]:
8
Out[90]:
18
Out[90]:
13
Out[90]:
8
Out[90]:
15
Out[90]:
7
Out[90]:
11
Out[90]:
7
Out[90]:
11
Out[90]:
14
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
15
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
12
Out[90]:
6
Out[90]:
14
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
11
Out[90]:
7
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
7
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
7
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
7
Out[90]:
7
Out[90]:
15
Out[90]:
19
Out[90]:
15
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
12
Out[90]:
7
Out[90]:
13
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
12
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
12
Out[90]:
8
Out[90]:
13
Out[90]:
12
Out[90]:
15
Out[90]:
14
Out[90]:
12
Out[90]:
15
Out[90]:
18
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
17
Out[90]:
8
Out[90]:
11
Out[90]:
13
Out[90]:
12
Out[90]:
8
Out[90]:
14
Out[90]:
10
Out[90]:
15
Out[90]:
10
Out[90]:
12
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
18
Out[90]:
12
Out[90]:
13
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
14
Out[90]:
9
Out[90]:
10
Out[90]:
15
Out[90]:
14
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
19
Out[90]:
10
Out[90]:
18
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
13
Out[90]:
9
Out[90]:
7
Out[90]:
14
Out[90]:
7
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
17
Out[90]:
16
Out[90]:
8
Out[90]:
14
Out[90]:
8
Out[90]:
7
Out[90]:
7
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
6
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
13
Out[90]:
12
Out[90]:
11
Out[90]:
19
Out[90]:
12
Out[90]:
6
Out[90]:
11
Out[90]:
10
Out[90]:
15
Out[90]:
11
Out[90]:
18
Out[90]:
14
Out[90]:
9
Out[90]:
10
Out[90]:
14
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
12
Out[90]:
19
Out[90]:
12
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
12
Out[90]:
11
Out[90]:
15
Out[90]:
7
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
13
Out[90]:
15
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
14
Out[90]:
10
Out[90]:
10
Out[90]:
13
Out[90]:
13
Out[90]:
7
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
12
Out[90]:
8
Out[90]:
7
Out[90]:
12
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
13
Out[90]:
6
Out[90]:
9
Out[90]:
9
Out[90]:
12
Out[90]:
12
Out[90]:
13
Out[90]:
8
Out[90]:
8
Out[90]:
13
Out[90]:
6
Out[90]:
8
Out[90]:
10
Out[90]:
13
Out[90]:
15
Out[90]:
10
Out[90]:
12
Out[90]:
6
Out[90]:
9
Out[90]:
13
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
13
Out[90]:
9
Out[90]:
12
Out[90]:
6
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
6
Out[90]:
9
Out[90]:
7
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
10
Out[90]:
13
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
15
Out[90]:
12
Out[90]:
12
Out[90]:
6
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
13
Out[90]:
8
Out[90]:
13
Out[90]:
10
Out[90]:
16
Out[90]:
14
Out[90]:
11
Out[90]:
7
Out[90]:
9
Out[90]:
13
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
15
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
6
Out[90]:
13
Out[90]:
14
Out[90]:
11
Out[90]:
16
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
11
Out[90]:
7
Out[90]:
7
Out[90]:
9
Out[90]:
15
Out[90]:
13
Out[90]:
9
Out[90]:
11
Out[90]:
14
Out[90]:
16
Out[90]:
11
Out[90]:
7
Out[90]:
12
Out[90]:
14
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
6
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
15
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
7
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
7
Out[90]:
11
Out[90]:
6
Out[90]:
9
Out[90]:
15
Out[90]:
7
Out[90]:
11
Out[90]:
8
Out[90]:
16
Out[90]:
19
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
8
Out[90]:
7
Out[90]:
10
Out[90]:
6
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
11
Out[90]:
8
Out[90]:
13
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
13
Out[90]:
12
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
19
Out[90]:
13
Out[90]:
11
Out[90]:
7
Out[90]:
13
Out[90]:
7
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
13
Out[90]:
6
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
13
Out[90]:
12
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
12
Out[90]:
15
Out[90]:
18
Out[90]:
12
Out[90]:
15
Out[90]:
9
Out[90]:
12
Out[90]:
12
Out[90]:
9
Out[90]:
12
Out[90]:
6
Out[90]:
13
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
11
Out[90]:
13
Out[90]:
15
Out[90]:
6
Out[90]:
9
Out[90]:
6
Out[90]:
10
Out[90]:
12
Out[90]:
15
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
12
Out[90]:
7
Out[90]:
8
Out[90]:
7
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
13
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
14
Out[90]:
17
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
16
Out[90]:
13
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
12
Out[90]:
7
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
13
Out[90]:
10
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
13
Out[90]:
8
Out[90]:
18
Out[90]:
12
Out[90]:
11
Out[90]:
16
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
12
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
8
Out[90]:
13
Out[90]:
10
Out[90]:
14
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
14
Out[90]:
12
Out[90]:
9
Out[90]:
13
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
12
Out[90]:
7
Out[90]:
6
Out[90]:
9
Out[90]:
14
Out[90]:
16
Out[90]:
8
Out[90]:
13
Out[90]:
6
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
12
Out[90]:
15
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
14
Out[90]:
10
Out[90]:
11
Out[90]:
6
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
14
Out[90]:
14
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
12
Out[90]:
6
Out[90]:
12
Out[90]:
11
Out[90]:
14
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
13
Out[90]:
16
Out[90]:
10
Out[90]:
16
Out[90]:
8
Out[90]:
17
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
10
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
15
Out[90]:
9
Out[90]:
14
Out[90]:
9
Out[90]:
16
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
13
Out[90]:
11
Out[90]:
14
Out[90]:
10
Out[90]:
13
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
13
Out[90]:
12
Out[90]:
9
Out[90]:
13
Out[90]:
12
Out[90]:
16
Out[90]:
18
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
17
Out[90]:
13
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
13
Out[90]:
10
Out[90]:
9
Out[90]:
15
Out[90]:
7
Out[90]:
8
Out[90]:
14
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
11
Out[90]:
11
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
14
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
9
Out[90]:
7
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
14
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
13
Out[90]:
12
Out[90]:
17
Out[90]:
13
Out[90]:
7
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
7
Out[90]:
11
Out[90]:
12
Out[90]:
8
Out[90]:
12
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
13
Out[90]:
8
Out[90]:
11
Out[90]:
13
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
13
Out[90]:
13
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
7
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
12
Out[90]:
10
Out[90]:
13
Out[90]:
13
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
19
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
12
Out[90]:
9
Out[90]:
16
Out[90]:
12
Out[90]:
10
Out[90]:
7
Out[90]:
13
Out[90]:
14
Out[90]:
11
Out[90]:
9
Out[90]:
16
Out[90]:
14
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
7
Out[90]:
12
Out[90]:
6
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
15
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
13
Out[90]:
10
Out[90]:
9
Out[90]:
13
Out[90]:
11
Out[90]:
13
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
7
Out[90]:
14
Out[90]:
12
Out[90]:
14
Out[90]:
9
Out[90]:
9
Out[90]:
14
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
6
Out[90]:
12
Out[90]:
12
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
13
Out[90]:
15
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
13
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
19
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
14
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
7
Out[90]:
14
Out[90]:
12
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
14
Out[90]:
12
Out[90]:
9
Out[90]:
13
Out[90]:
13
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
7
Out[90]:
14
Out[90]:
9
Out[90]:
12
Out[90]:
13
Out[90]:
12
Out[90]:
7
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
7
Out[90]:
11
Out[90]:
8
Out[90]:
14
Out[90]:
9
Out[90]:
13
Out[90]:
6
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
14
Out[90]:
16
Out[90]:
6
Out[90]:
10
Out[90]:
17
Out[90]:
9
Out[90]:
13
Out[90]:
8
Out[90]:
7
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
13
Out[90]:
8
Out[90]:
18
Out[90]:
14
Out[90]:
8
Out[90]:
11
Out[90]:
13
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
7
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
6
Out[90]:
11
Out[90]:
8
Out[90]:
7
Out[90]:
9
Out[90]:
8
Out[90]:
14
Out[90]:
13
Out[90]:
18
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
13
Out[90]:
15
Out[90]:
8
Out[90]:
6
Out[90]:
8
Out[90]:
8
Out[90]:
13
Out[90]:
7
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
8
Out[90]:
13
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
16
Out[90]:
12
Out[90]:
14
Out[90]:
7
Out[90]:
14
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
12
Out[90]:
14
Out[90]:
8
Out[90]:
13
Out[90]:
11
Out[90]:
14
Out[90]:
9
Out[90]:
12
Out[90]:
12
Out[90]:
11
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
8
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
14
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
13
Out[90]:
12
Out[90]:
12
Out[90]:
7
Out[90]:
12
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
13
Out[90]:
7
Out[90]:
14
Out[90]:
10
Out[90]:
12
Out[90]:
13
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
16
Out[90]:
8
Out[90]:
12
Out[90]:
7
Out[90]:
7
Out[90]:
10
Out[90]:
18
Out[90]:
12
Out[90]:
11
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
6
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
13
Out[90]:
8
Out[90]:
15
Out[90]:
13
Out[90]:
10
Out[90]:
11
Out[90]:
17
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
15
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
14
Out[90]:
12
Out[90]:
6
Out[90]:
7
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
12
Out[90]:
12
Out[90]:
7
Out[90]:
11
Out[90]:
6
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
14
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
15
Out[90]:
10
Out[90]:
7
Out[90]:
13
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
6
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
8
Out[90]:
11
Out[90]:
12
Out[90]:
12
Out[90]:
7
Out[90]:
12
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
6
Out[90]:
8
Out[90]:
9
Out[90]:
13
Out[90]:
11
Out[90]:
8
Out[90]:
11
Out[90]:
14
Out[90]:
10
Out[90]:
18
Out[90]:
14
Out[90]:
14
Out[90]:
9
Out[90]:
7
Out[90]:
12
Out[90]:
9
Out[90]:
14
Out[90]:
7
Out[90]:
13
Out[90]:
16
Out[90]:
15
Out[90]:
12
Out[90]:
7
Out[90]:
13
Out[90]:
13
Out[90]:
8
Out[90]:
7
Out[90]:
9
Out[90]:
13
Out[90]:
14
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
16
Out[90]:
11
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
11
Out[90]:
15
Out[90]:
13
Out[90]:
12
Out[90]:
9
Out[90]:
7
Out[90]:
7
Out[90]:
17
Out[90]:
11
Out[90]:
14
Out[90]:
18
Out[90]:
10
Out[90]:
14
Out[90]:
15
Out[90]:
9
Out[90]:
12
Out[90]:
6
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
14
Out[90]:
11
Out[90]:
9
Out[90]:
7
Out[90]:
6
Out[90]:
9
Out[90]:
12
Out[90]:
6
Out[90]:
14
Out[90]:
10
Out[90]:
14
Out[90]:
7
Out[90]:
12
Out[90]:
7
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
6
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
6
Out[90]:
11
Out[90]:
7
Out[90]:
13
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
14
Out[90]:
9
Out[90]:
11
Out[90]:
15
Out[90]:
13
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
13
Out[90]:
11
Out[90]:
7
Out[90]:
8
Out[90]:
17
Out[90]:
14
Out[90]:
17
Out[90]:
15
Out[90]:
17
Out[90]:
8
Out[90]:
6
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
17
Out[90]:
10
Out[90]:
15
Out[90]:
12
Out[90]:
15
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
13
Out[90]:
10
Out[90]:
14
Out[90]:
18
Out[90]:
12
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
12
Out[90]:
15
Out[90]:
8
Out[90]:
10
Out[90]:
7
Out[90]:
13
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
15
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
17
Out[90]:
14
Out[90]:
14
Out[90]:
18
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
7
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
16
Out[90]:
11
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
14
Out[90]:
11
Out[90]:
13
Out[90]:
6
Out[90]:
10
Out[90]:
14
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
14
Out[90]:
13
Out[90]:
10
Out[90]:
8
Out[90]:
6
Out[90]:
11
Out[90]:
14
Out[90]:
9
Out[90]:
13
Out[90]:
13
Out[90]:
13
Out[90]:
8
Out[90]:
16
Out[90]:
9
Out[90]:
6
Out[90]:
13
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
6
Out[90]:
11
Out[90]:
13
Out[90]:
10
Out[90]:
9
Out[90]:
17
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
7
Out[90]:
17
Out[90]:
10
Out[90]:
13
Out[90]:
12
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
6
Out[90]:
13
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
7
Out[90]:
12
Out[90]:
14
Out[90]:
11
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
16
Out[90]:
11
Out[90]:
14
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
6
Out[90]:
7
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
13
Out[90]:
7
Out[90]:
13
Out[90]:
12
Out[90]:
9
Out[90]:
6
Out[90]:
8
Out[90]:
9
Out[90]:
16
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
12
Out[90]:
10
Out[90]:
6
Out[90]:
12
Out[90]:
14
Out[90]:
8
Out[90]:
15
Out[90]:
9
Out[90]:
9
Out[90]:
15
Out[90]:
6
Out[90]:
7
Out[90]:
15
Out[90]:
10
Out[90]:
6
Out[90]:
7
Out[90]:
7
Out[90]:
9
Out[90]:
7
Out[90]:
13
Out[90]:
13
Out[90]:
12
Out[90]:
14
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
13
Out[90]:
10
Out[90]:
13
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
10
Out[90]:
7
Out[90]:
8
Out[90]:
16
Out[90]:
14
Out[90]:
17
Out[90]:
8
Out[90]:
13
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
14
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
14
Out[90]:
11
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
11
Out[90]:
14
Out[90]:
13
Out[90]:
13
Out[90]:
13
Out[90]:
13
Out[90]:
8
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
15
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
19
Out[90]:
12
Out[90]:
14
Out[90]:
13
Out[90]:
10
Out[90]:
14
Out[90]:
10
Out[90]:
10
Out[90]:
7
Out[90]:
12
Out[90]:
6
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
11
Out[90]:
11
Out[90]:
14
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
17
Out[90]:
13
Out[90]:
13
Out[90]:
12
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
19
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
13
Out[90]:
15
Out[90]:
10
Out[90]:
13
Out[90]:
10
Out[90]:
8
Out[90]:
13
Out[90]:
12
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
6
Out[90]:
10
Out[90]:
7
Out[90]:
6
Out[90]:
9
Out[90]:
10
Out[90]:
6
Out[90]:
9
Out[90]:
13
Out[90]:
9
Out[90]:
15
Out[90]:
11
Out[90]:
14
Out[90]:
14
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
14
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
6
Out[90]:
8
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
7
Out[90]:
13
Out[90]:
6
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
13
Out[90]:
10
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
12
Out[90]:
12
Out[90]:
13
Out[90]:
11
Out[90]:
9
Out[90]:
7
Out[90]:
11
Out[90]:
11
Out[90]:
15
Out[90]:
10
Out[90]:
7
Out[90]:
7
Out[90]:
11
Out[90]:
13
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
17
Out[90]:
12
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
14
Out[90]:
6
Out[90]:
8
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
14
Out[90]:
11
Out[90]:
7
Out[90]:
15
Out[90]:
15
Out[90]:
7
Out[90]:
13
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
7
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
8
Out[90]:
6
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
14
Out[90]:
10
Out[90]:
14
Out[90]:
16
Out[90]:
13
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
6
Out[90]:
13
Out[90]:
10
Out[90]:
6
Out[90]:
15
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
13
Out[90]:
15
Out[90]:
9
Out[90]:
14
Out[90]:
11
Out[90]:
19
Out[90]:
13
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
13
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
15
Out[90]:
12
Out[90]:
12
Out[90]:
12
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
12
Out[90]:
8
Out[90]:
8
Out[90]:
13
Out[90]:
9
Out[90]:
17
Out[90]:
16
Out[90]:
13
Out[90]:
11
Out[90]:
11
Out[90]:
15
Out[90]:
12
Out[90]:
7
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
17
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
14
Out[90]:
12
Out[90]:
14
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
15
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
13
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
14
Out[90]:
13
Out[90]:
9
Out[90]:
7
Out[90]:
15
Out[90]:
13
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
14
Out[90]:
8
Out[90]:
14
Out[90]:
9
Out[90]:
16
Out[90]:
8
Out[90]:
11
Out[90]:
12
Out[90]:
7
Out[90]:
12
Out[90]:
9
Out[90]:
12
Out[90]:
12
Out[90]:
11
Out[90]:
6
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
15
Out[90]:
7
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
13
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
16
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
16
Out[90]:
11
Out[90]:
14
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
13
Out[90]:
10
Out[90]:
13
Out[90]:
11
Out[90]:
6
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
13
Out[90]:
10
Out[90]:
11
Out[90]:
7
Out[90]:
6
Out[90]:
12
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
13
Out[90]:
9
Out[90]:
12
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
11
Out[90]:
14
Out[90]:
13
Out[90]:
13
Out[90]:
11
Out[90]:
12
Out[90]:
8
Out[90]:
6
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
12
Out[90]:
13
Out[90]:
6
Out[90]:
7
Out[90]:
13
Out[90]:
14
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
7
Out[90]:
8
Out[90]:
12
Out[90]:
14
Out[90]:
12
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
13
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
12
Out[90]:
9
Out[90]:
12
Out[90]:
16
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
12
Out[90]:
7
Out[90]:
12
Out[90]:
14
Out[90]:
7
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
17
Out[90]:
8
Out[90]:
11
Out[90]:
7
Out[90]:
12
Out[90]:
14
Out[90]:
10
Out[90]:
12
Out[90]:
18
Out[90]:
13
Out[90]:
16
Out[90]:
13
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
13
Out[90]:
13
Out[90]:
12
Out[90]:
6
Out[90]:
11
Out[90]:
13
Out[90]:
11
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
13
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
15
Out[90]:
10
Out[90]:
8
Out[90]:
13
Out[90]:
11
Out[90]:
13
Out[90]:
6
Out[90]:
12
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
16
Out[90]:
13
Out[90]:
14
Out[90]:
8
Out[90]:
10
Out[90]:
6
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
16
Out[90]:
8
Out[90]:
13
Out[90]:
11
Out[90]:
12
Out[90]:
7
Out[90]:
15
Out[90]:
9
Out[90]:
9
Out[90]:
6
Out[90]:
7
Out[90]:
10
Out[90]:
12
Out[90]:
12
Out[90]:
12
Out[90]:
10
Out[90]:
18
Out[90]:
13
Out[90]:
14
Out[90]:
17
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
6
Out[90]:
9
Out[90]:
6
Out[90]:
12
Out[90]:
7
Out[90]:
13
Out[90]:
6
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
13
Out[90]:
8
Out[90]:
10
Out[90]:
13
Out[90]:
12
Out[90]:
14
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
14
Out[90]:
10
Out[90]:
18
Out[90]:
11
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
13
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
14
Out[90]:
10
Out[90]:
11
Out[90]:
15
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
16
Out[90]:
11
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
15
Out[90]:
11
Out[90]:
7
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
13
Out[90]:
6
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
16
Out[90]:
10
Out[90]:
9
Out[90]:
13
Out[90]:
12
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
16
Out[90]:
14
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
13
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
16
Out[90]:
7
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
13
Out[90]:
9
Out[90]:
8
Out[90]:
6
Out[90]:
8
Out[90]:
8
Out[90]:
16
Out[90]:
12
Out[90]:
18
Out[90]:
6
Out[90]:
13
Out[90]:
7
Out[90]:
13
Out[90]:
10
Out[90]:
13
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
6
Out[90]:
6
Out[90]:
6
Out[90]:
9
Out[90]:
11
Out[90]:
6
Out[90]:
12
Out[90]:
12
Out[90]:
12
Out[90]:
11
Out[90]:
13
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
7
Out[90]:
13
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
7
Out[90]:
12
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
13
Out[90]:
6
Out[90]:
16
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
12
Out[90]:
15
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
15
Out[90]:
12
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
7
Out[90]:
11
Out[90]:
6
Out[90]:
11
Out[90]:
10
Out[90]:
13
Out[90]:
17
Out[90]:
15
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
13
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
6
Out[90]:
14
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
19
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
13
Out[90]:
9
Out[90]:
8
Out[90]:
13
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
14
Out[90]:
9
Out[90]:
14
Out[90]:
13
Out[90]:
11
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
16
Out[90]:
12
Out[90]:
15
Out[90]:
11
Out[90]:
15
Out[90]:
10
Out[90]:
10
Out[90]:
15
Out[90]:
8
Out[90]:
15
Out[90]:
8
Out[90]:
12
Out[90]:
7
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
14
Out[90]:
10
Out[90]:
13
Out[90]:
14
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
15
Out[90]:
16
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
14
Out[90]:
16
Out[90]:
12
Out[90]:
13
Out[90]:
7
Out[90]:
27
Out[90]:
15
Out[90]:
11
Out[90]:
8
Out[90]:
18
Out[90]:
11
Out[90]:
9
Out[90]:
18
Out[90]:
7
Out[90]:
11
Out[90]:
15
Out[90]:
18
Out[90]:
17
Out[90]:
10
Out[90]:
14
Out[90]:
13
Out[90]:
9
Out[90]:
6
Out[90]:
7
Out[90]:
14
Out[90]:
8
Out[90]:
7
Out[90]:
14
Out[90]:
12
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
16
Out[90]:
10
Out[90]:
11
Out[90]:
15
Out[90]:
12
Out[90]:
9
Out[90]:
12
Out[90]:
18
Out[90]:
11
Out[90]:
8
Out[90]:
12
Out[90]:
14
Out[90]:
8
Out[90]:
11
Out[90]:
15
Out[90]:
19
Out[90]:
10
Out[90]:
17
Out[90]:
8
Out[90]:
14
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
13
Out[90]:
6
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
7
Out[90]:
11
Out[90]:
10
Out[90]:
15
Out[90]:
13
Out[90]:
8
Out[90]:
14
Out[90]:
12
Out[90]:
9
Out[90]:
13
Out[90]:
8
Out[90]:
8
Out[90]:
14
Out[90]:
14
Out[90]:
11
Out[90]:
14
Out[90]:
6
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
13
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
6
Out[90]:
13
Out[90]:
11
Out[90]:
11
Out[90]:
15
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
17
Out[90]:
11
Out[90]:
14
Out[90]:
14
Out[90]:
9
Out[90]:
7
Out[90]:
15
Out[90]:
14
Out[90]:
10
Out[90]:
8
Out[90]:
13
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
13
Out[90]:
9
Out[90]:
9
Out[90]:
15
Out[90]:
11
Out[90]:
9
Out[90]:
6
Out[90]:
14
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
13
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
6
Out[90]:
8
Out[90]:
12
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
14
Out[90]:
13
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
13
Out[90]:
6
Out[90]:
10
Out[90]:
14
Out[90]:
11
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
13
Out[90]:
8
Out[90]:
12
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
14
Out[90]:
13
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
16
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
18
Out[90]:
11
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
13
Out[90]:
13
Out[90]:
13
Out[90]:
11
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
6
Out[90]:
6
Out[90]:
15
Out[90]:
12
Out[90]:
12
Out[90]:
8
Out[90]:
15
Out[90]:
13
Out[90]:
13
Out[90]:
8
Out[90]:
13
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
14
Out[90]:
10
Out[90]:
8
Out[90]:
6
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
13
Out[90]:
10
Out[90]:
18
Out[90]:
11
Out[90]:
13
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
19
Out[90]:
19
Out[90]:
9
Out[90]:
12
Out[90]:
12
Out[90]:
12
Out[90]:
11
Out[90]:
11
Out[90]:
7
Out[90]:
19
Out[90]:
12
Out[90]:
7
Out[90]:
7
Out[90]:
11
Out[90]:
6
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
7
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
15
Out[90]:
6
Out[90]:
12
Out[90]:
14
Out[90]:
12
Out[90]:
7
Out[90]:
9
Out[90]:
7
Out[90]:
14
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
13
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
14
Out[90]:
12
Out[90]:
19
Out[90]:
6
Out[90]:
6
Out[90]:
7
Out[90]:
14
Out[90]:
11
Out[90]:
6
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
12
Out[90]:
13
Out[90]:
8
Out[90]:
10
Out[90]:
14
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
15
Out[90]:
8
Out[90]:
10
Out[90]:
14
Out[90]:
8
Out[90]:
8
Out[90]:
11
Out[90]:
14
Out[90]:
8
Out[90]:
6
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
6
Out[90]:
10
Out[90]:
13
Out[90]:
11
Out[90]:
13
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
9
Out[90]:
12
Out[90]:
14
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
13
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
6
Out[90]:
11
Out[90]:
13
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
13
Out[90]:
15
Out[90]:
11
Out[90]:
11
Out[90]:
12
Out[90]:
6
Out[90]:
14
Out[90]:
8
Out[90]:
8
Out[90]:
7
Out[90]:
18
Out[90]:
11
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
7
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
16
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
15
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
13
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
16
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
16
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
17
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
7
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
7
Out[90]:
11
Out[90]:
14
Out[90]:
14
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
14
Out[90]:
8
Out[90]:
13
Out[90]:
12
Out[90]:
8
Out[90]:
13
Out[90]:
12
Out[90]:
6
Out[90]:
6
Out[90]:
14
Out[90]:
14
Out[90]:
8
Out[90]:
17
Out[90]:
10
Out[90]:
8
Out[90]:
13
Out[90]:
7
Out[90]:
14
Out[90]:
9
Out[90]:
12
Out[90]:
13
Out[90]:
18
Out[90]:
11
Out[90]:
10
Out[90]:
13
Out[90]:
8
Out[90]:
18
Out[90]:
11
Out[90]:
14
Out[90]:
16
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
18
Out[90]:
6
Out[90]:
14
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
6
Out[90]:
13
Out[90]:
13
Out[90]:
9
Out[90]:
9
Out[90]:
14
Out[90]:
9
Out[90]:
16
Out[90]:
12
Out[90]:
9
Out[90]:
15
Out[90]:
8
Out[90]:
12
Out[90]:
11
Out[90]:
16
Out[90]:
12
Out[90]:
7
Out[90]:
11
Out[90]:
12
Out[90]:
12
Out[90]:
15
Out[90]:
9
Out[90]:
10
Out[90]:
14
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
14
Out[90]:
7
Out[90]:
10
Out[90]:
13
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
16
Out[90]:
10
Out[90]:
13
Out[90]:
10
Out[90]:
8
Out[90]:
15
Out[90]:
8
Out[90]:
9
Out[90]:
15
Out[90]:
16
Out[90]:
16
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
12
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
8
Out[90]:
13
Out[90]:
16
Out[90]:
11
Out[90]:
8
Out[90]:
18
Out[90]:
9
Out[90]:
11
Out[90]:
14
Out[90]:
9
Out[90]:
16
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
14
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
9
Out[90]:
12
Out[90]:
8
Out[90]:
14
Out[90]:
9
Out[90]:
13
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
14
Out[90]:
14
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
13
Out[90]:
15
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
13
Out[90]:
12
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
6
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
16
Out[90]:
9
Out[90]:
14
Out[90]:
8
Out[90]:
11
Out[90]:
16
Out[90]:
13
Out[90]:
14
Out[90]:
10
Out[90]:
8
Out[90]:
14
Out[90]:
12
Out[90]:
14
Out[90]:
12
Out[90]:
13
Out[90]:
17
Out[90]:
8
Out[90]:
16
Out[90]:
11
Out[90]:
13
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
14
Out[90]:
15
Out[90]:
6
Out[90]:
9
Out[90]:
12
Out[90]:
7
Out[90]:
7
Out[90]:
12
Out[90]:
15
Out[90]:
11
Out[90]:
9
Out[90]:
15
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
10
Out[90]:
12
Out[90]:
16
Out[90]:
9
Out[90]:
13
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
7
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
13
Out[90]:
13
Out[90]:
6
Out[90]:
12
Out[90]:
13
Out[90]:
14
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
14
Out[90]:
13
Out[90]:
14
Out[90]:
15
Out[90]:
9
Out[90]:
18
Out[90]:
8
Out[90]:
12
Out[90]:
13
Out[90]:
9
Out[90]:
11
Out[90]:
13
Out[90]:
14
Out[90]:
6
Out[90]:
15
Out[90]:
11
Out[90]:
13
Out[90]:
14
Out[90]:
14
Out[90]:
9
Out[90]:
10
Out[90]:
6
Out[90]:
11
Out[90]:
14
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
14
Out[90]:
14
Out[90]:
12
Out[90]:
9
Out[90]:
12
Out[90]:
12
Out[90]:
12
Out[90]:
7
Out[90]:
12
Out[90]:
16
Out[90]:
7
Out[90]:
7
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
6
Out[90]:
6
Out[90]:
8
Out[90]:
10
Out[90]:
14
Out[90]:
16
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
16
Out[90]:
11
Out[90]:
12
Out[90]:
12
Out[90]:
14
Out[90]:
7
Out[90]:
8
Out[90]:
15
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
6
Out[90]:
11
Out[90]:
14
Out[90]:
9
Out[90]:
10
Out[90]:
13
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
6
Out[90]:
8
Out[90]:
10
Out[90]:
16
Out[90]:
8
Out[90]:
14
Out[90]:
12
Out[90]:
9
Out[90]:
17
Out[90]:
11
Out[90]:
11
Out[90]:
14
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
6
Out[90]:
11
Out[90]:
14
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
6
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
12
Out[90]:
15
Out[90]:
14
Out[90]:
16
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
14
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
13
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
6
Out[90]:
8
Out[90]:
10
Out[90]:
12
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
13
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
14
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
13
Out[90]:
8
Out[90]:
10
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
13
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
16
Out[90]:
18
Out[90]:
12
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
13
Out[90]:
13
Out[90]:
7
Out[90]:
14
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
14
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
13
Out[90]:
9
Out[90]:
7
Out[90]:
9
Out[90]:
14
Out[90]:
13
Out[90]:
8
Out[90]:
13
Out[90]:
15
Out[90]:
12
Out[90]:
10
Out[90]:
6
Out[90]:
10
Out[90]:
13
Out[90]:
11
Out[90]:
10
Out[90]:
14
Out[90]:
10
Out[90]:
17
Out[90]:
15
Out[90]:
8
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
15
Out[90]:
11
Out[90]:
11
Out[90]:
16
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
15
Out[90]:
15
Out[90]:
13
Out[90]:
16
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
7
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
16
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
19
Out[90]:
15
Out[90]:
11
Out[90]:
13
Out[90]:
11
Out[90]:
13
Out[90]:
10
Out[90]:
11
Out[90]:
15
Out[90]:
7
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
13
Out[90]:
13
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
14
Out[90]:
12
Out[90]:
11
Out[90]:
14
Out[90]:
13
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
10
Out[90]:
17
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
13
Out[90]:
9
Out[90]:
13
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
6
Out[90]:
14
Out[90]:
13
Out[90]:
12
Out[90]:
18
Out[90]:
16
Out[90]:
9
Out[90]:
13
Out[90]:
12
Out[90]:
6
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
19
Out[90]:
18
Out[90]:
9
Out[90]:
10
Out[90]:
15
Out[90]:
15
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
13
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
6
Out[90]:
16
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
19
Out[90]:
15
Out[90]:
15
Out[90]:
15
Out[90]:
9
Out[90]:
13
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
13
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
13
Out[90]:
13
Out[90]:
7
Out[90]:
10
Out[90]:
11
Out[90]:
15
Out[90]:
10
Out[90]:
9
Out[90]:
14
Out[90]:
10
Out[90]:
15
Out[90]:
12
Out[90]:
12
Out[90]:
10
Out[90]:
6
Out[90]:
11
Out[90]:
12
Out[90]:
17
Out[90]:
12
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
15
Out[90]:
14
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
13
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
14
Out[90]:
12
Out[90]:
6
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
12
Out[90]:
14
Out[90]:
12
Out[90]:
8
Out[90]:
14
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
7
Out[90]:
9
Out[90]:
12
Out[90]:
14
Out[90]:
6
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
13
Out[90]:
10
Out[90]:
13
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
14
Out[90]:
15
Out[90]:
14
Out[90]:
6
Out[90]:
6
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
8
Out[90]:
11
Out[90]:
7
Out[90]:
11
Out[90]:
15
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
15
Out[90]:
11
Out[90]:
15
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
13
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
13
Out[90]:
6
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
18
Out[90]:
14
Out[90]:
11
Out[90]:
12
Out[90]:
7
Out[90]:
7
Out[90]:
12
Out[90]:
6
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
17
Out[90]:
12
Out[90]:
11
Out[90]:
8
Out[90]:
15
Out[90]:
7
Out[90]:
19
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
13
Out[90]:
13
Out[90]:
10
Out[90]:
9
Out[90]:
15
Out[90]:
12
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
14
Out[90]:
14
Out[90]:
7
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
8
Out[90]:
13
Out[90]:
6
Out[90]:
11
Out[90]:
19
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
15
Out[90]:
9
Out[90]:
6
Out[90]:
7
Out[90]:
8
Out[90]:
15
Out[90]:
11
Out[90]:
13
Out[90]:
14
Out[90]:
14
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
15
Out[90]:
14
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
13
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
17
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
6
Out[90]:
11
Out[90]:
9
Out[90]:
6
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
6
Out[90]:
6
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
19
Out[90]:
11
Out[90]:
13
Out[90]:
15
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
15
Out[90]:
14
Out[90]:
7
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
13
Out[90]:
11
Out[90]:
10
Out[90]:
16
Out[90]:
18
Out[90]:
10
Out[90]:
6
Out[90]:
10
Out[90]:
11
Out[90]:
14
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
14
Out[90]:
11
Out[90]:
11
Out[90]:
8
Out[90]:
14
Out[90]:
13
Out[90]:
11
Out[90]:
8
Out[90]:
11
Out[90]:
7
Out[90]:
19
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
13
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
13
Out[90]:
12
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
19
Out[90]:
13
Out[90]:
13
Out[90]:
15
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
16
Out[90]:
8
Out[90]:
11
Out[90]:
14
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
13
Out[90]:
10
Out[90]:
13
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
7
Out[90]:
6
Out[90]:
12
Out[90]:
12
Out[90]:
11
Out[90]:
11
Out[90]:
15
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
7
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
13
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
14
Out[90]:
12
Out[90]:
14
Out[90]:
15
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
7
Out[90]:
11
Out[90]:
7
Out[90]:
13
Out[90]:
13
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
6
Out[90]:
13
Out[90]:
10
Out[90]:
13
Out[90]:
13
Out[90]:
7
Out[90]:
10
Out[90]:
7
Out[90]:
12
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
7
Out[90]:
10
Out[90]:
8
Out[90]:
15
Out[90]:
7
Out[90]:
6
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
7
Out[90]:
15
Out[90]:
12
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
6
Out[90]:
13
Out[90]:
17
Out[90]:
7
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
12
Out[90]:
12
Out[90]:
13
Out[90]:
15
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
18
Out[90]:
13
Out[90]:
13
Out[90]:
10
Out[90]:
12
Out[90]:
11
Out[90]:
11
Out[90]:
13
Out[90]:
13
Out[90]:
16
Out[90]:
12
Out[90]:
6
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
14
Out[90]:
14
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
15
Out[90]:
6
Out[90]:
9
Out[90]:
8
Out[90]:
14
Out[90]:
8
Out[90]:
11
Out[90]:
13
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
17
Out[90]:
14
Out[90]:
11
Out[90]:
13
Out[90]:
8
Out[90]:
19
Out[90]:
11
Out[90]:
10
Out[90]:
7
Out[90]:
11
Out[90]:
7
Out[90]:
8
Out[90]:
13
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
13
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
14
Out[90]:
6
Out[90]:
10
Out[90]:
9
Out[90]:
16
Out[90]:
7
Out[90]:
6
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
19
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
15
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
13
Out[90]:
13
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
13
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
14
Out[90]:
14
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
13
Out[90]:
12
Out[90]:
12
Out[90]:
12
Out[90]:
9
Out[90]:
13
Out[90]:
7
Out[90]:
10
Out[90]:
13
Out[90]:
9
Out[90]:
15
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
7
Out[90]:
13
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
13
Out[90]:
13
Out[90]:
9
Out[90]:
17
Out[90]:
6
Out[90]:
14
Out[90]:
8
Out[90]:
13
Out[90]:
12
Out[90]:
12
Out[90]:
12
Out[90]:
17
Out[90]:
12
Out[90]:
10
Out[90]:
14
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
13
Out[90]:
13
Out[90]:
9
Out[90]:
7
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
13
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
16
Out[90]:
15
Out[90]:
14
Out[90]:
12
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
7
Out[90]:
11
Out[90]:
19
Out[90]:
11
Out[90]:
8
Out[90]:
7
Out[90]:
14
Out[90]:
9
Out[90]:
8
Out[90]:
19
Out[90]:
18
Out[90]:
6
Out[90]:
8
Out[90]:
11
Out[90]:
13
Out[90]:
7
Out[90]:
14
Out[90]:
12
Out[90]:
9
Out[90]:
12
Out[90]:
6
Out[90]:
15
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
17
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
12
Out[90]:
17
Out[90]:
12
Out[90]:
11
Out[90]:
17
Out[90]:
6
Out[90]:
10
Out[90]:
14
Out[90]:
10
Out[90]:
14
Out[90]:
14
Out[90]:
10
Out[90]:
16
Out[90]:
9
Out[90]:
11
Out[90]:
15
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
17
Out[90]:
14
Out[90]:
8
Out[90]:
6
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
13
Out[90]:
9
Out[90]:
8
Out[90]:
15
Out[90]:
12
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
14
Out[90]:
13
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
14
Out[90]:
10
Out[90]:
8
Out[90]:
15
Out[90]:
11
Out[90]:
8
Out[90]:
13
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
6
Out[90]:
18
Out[90]:
7
Out[90]:
8
Out[90]:
16
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
13
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
12
Out[90]:
15
Out[90]:
13
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
19
Out[90]:
6
Out[90]:
10
Out[90]:
14
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
15
Out[90]:
10
Out[90]:
12
Out[90]:
19
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
6
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
13
Out[90]:
9
Out[90]:
11
Out[90]:
6
Out[90]:
8
Out[90]:
18
Out[90]:
9
Out[90]:
12
Out[90]:
15
Out[90]:
8
Out[90]:
9
Out[90]:
14
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
13
Out[90]:
7
Out[90]:
15
Out[90]:
13
Out[90]:
14
Out[90]:
9
Out[90]:
17
Out[90]:
11
Out[90]:
12
Out[90]:
14
Out[90]:
13
Out[90]:
7
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
10
Out[90]:
7
Out[90]:
12
Out[90]:
16
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
6
Out[90]:
12
Out[90]:
13
Out[90]:
7
Out[90]:
6
Out[90]:
10
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
13
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
7
Out[90]:
19
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
15
Out[90]:
11
Out[90]:
14
Out[90]:
14
Out[90]:
6
Out[90]:
8
Out[90]:
10
Out[90]:
7
Out[90]:
12
Out[90]:
8
Out[90]:
8
Out[90]:
13
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
18
Out[90]:
13
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
13
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
13
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
13
Out[90]:
16
Out[90]:
13
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
13
Out[90]:
12
Out[90]:
10
Out[90]:
15
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
19
Out[90]:
14
Out[90]:
12
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
6
Out[90]:
14
Out[90]:
12
Out[90]:
6
Out[90]:
7
Out[90]:
9
Out[90]:
15
Out[90]:
13
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
14
Out[90]:
15
Out[90]:
13
Out[90]:
11
Out[90]:
10
Out[90]:
17
Out[90]:
17
Out[90]:
12
Out[90]:
7
Out[90]:
14
Out[90]:
10
Out[90]:
7
Out[90]:
14
Out[90]:
13
Out[90]:
18
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
13
Out[90]:
7
Out[90]:
11
Out[90]:
8
Out[90]:
11
Out[90]:
6
Out[90]:
8
Out[90]:
6
Out[90]:
11
Out[90]:
13
Out[90]:
18
Out[90]:
9
Out[90]:
15
Out[90]:
10
Out[90]:
13
Out[90]:
6
Out[90]:
14
Out[90]:
8
Out[90]:
10
Out[90]:
12
Out[90]:
12
Out[90]:
7
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
14
Out[90]:
13
Out[90]:
12
Out[90]:
17
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
8
Out[90]:
13
Out[90]:
13
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
18
Out[90]:
15
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
12
Out[90]:
11
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
6
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
10
Out[90]:
13
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
16
Out[90]:
12
Out[90]:
18
Out[90]:
14
Out[90]:
8
Out[90]:
14
Out[90]:
14
Out[90]:
11
Out[90]:
10
Out[90]:
15
Out[90]:
16
Out[90]:
9
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
12
Out[90]:
11
Out[90]:
8
Out[90]:
7
Out[90]:
11
Out[90]:
13
Out[90]:
13
Out[90]:
11
Out[90]:
18
Out[90]:
14
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
14
Out[90]:
9
Out[90]:
9
Out[90]:
6
Out[90]:
7
Out[90]:
10
Out[90]:
13
Out[90]:
8
Out[90]:
11
Out[90]:
16
Out[90]:
11
Out[90]:
14
Out[90]:
17
Out[90]:
13
Out[90]:
12
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
16
Out[90]:
12
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
7
Out[90]:
9
Out[90]:
14
Out[90]:
7
Out[90]:
9
Out[90]:
13
Out[90]:
14
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
13
Out[90]:
16
Out[90]:
12
Out[90]:
9
Out[90]:
13
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
15
Out[90]:
12
Out[90]:
13
Out[90]:
13
Out[90]:
10
Out[90]:
10
Out[90]:
17
Out[90]:
12
Out[90]:
12
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
17
Out[90]:
9
Out[90]:
14
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
17
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
12
Out[90]:
12
Out[90]:
8
Out[90]:
15
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
12
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
13
Out[90]:
18
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
14
Out[90]:
9
Out[90]:
9
Out[90]:
16
Out[90]:
10
Out[90]:
15
Out[90]:
18
Out[90]:
17
Out[90]:
6
Out[90]:
15
Out[90]:
15
Out[90]:
16
Out[90]:
13
Out[90]:
8
Out[90]:
6
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
6
Out[90]:
14
Out[90]:
14
Out[90]:
7
Out[90]:
12
Out[90]:
18
Out[90]:
6
Out[90]:
7
Out[90]:
15
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
6
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
18
Out[90]:
13
Out[90]:
9
Out[90]:
11
Out[90]:
19
Out[90]:
7
Out[90]:
11
Out[90]:
11
Out[90]:
7
Out[90]:
9
Out[90]:
6
Out[90]:
12
Out[90]:
9
Out[90]:
12
Out[90]:
15
Out[90]:
13
Out[90]:
14
Out[90]:
13
Out[90]:
11
Out[90]:
16
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
13
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
17
Out[90]:
18
Out[90]:
10
Out[90]:
6
Out[90]:
14
Out[90]:
12
Out[90]:
6
Out[90]:
18
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
12
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
8
Out[90]:
13
Out[90]:
19
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
15
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
14
Out[90]:
9
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
16
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
7
Out[90]:
11
Out[90]:
11
Out[90]:
16
Out[90]:
12
Out[90]:
12
Out[90]:
10
Out[90]:
18
Out[90]:
10
Out[90]:
7
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
13
Out[90]:
11
Out[90]:
16
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
12
Out[90]:
15
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
14
Out[90]:
8
Out[90]:
12
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
13
Out[90]:
8
Out[90]:
12
Out[90]:
11
Out[90]:
11
Out[90]:
13
Out[90]:
14
Out[90]:
15
Out[90]:
13
Out[90]:
11
Out[90]:
7
Out[90]:
13
Out[90]:
9
Out[90]:
10
Out[90]:
15
Out[90]:
17
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
7
Out[90]:
8
Out[90]:
6
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
15
Out[90]:
9
Out[90]:
10
Out[90]:
15
Out[90]:
6
Out[90]:
6
Out[90]:
11
Out[90]:
14
Out[90]:
10
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
6
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
6
Out[90]:
11
Out[90]:
16
Out[90]:
8
Out[90]:
17
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
15
Out[90]:
6
Out[90]:
14
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
14
Out[90]:
11
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
7
Out[90]:
14
Out[90]:
11
Out[90]:
17
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
6
Out[90]:
15
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
16
Out[90]:
6
Out[90]:
14
Out[90]:
13
Out[90]:
10
Out[90]:
10
Out[90]:
14
Out[90]:
12
Out[90]:
15
Out[90]:
17
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
14
Out[90]:
9
Out[90]:
11
Out[90]:
6
Out[90]:
15
Out[90]:
12
Out[90]:
19
Out[90]:
18
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
13
Out[90]:
6
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
8
Out[90]:
14
Out[90]:
13
Out[90]:
17
Out[90]:
7
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
17
Out[90]:
10
Out[90]:
11
Out[90]:
14
Out[90]:
7
Out[90]:
11
Out[90]:
12
Out[90]:
8
Out[90]:
16
Out[90]:
7
Out[90]:
18
Out[90]:
11
Out[90]:
9
Out[90]:
13
Out[90]:
18
Out[90]:
14
Out[90]:
16
Out[90]:
15
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
13
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
15
Out[90]:
8
Out[90]:
13
Out[90]:
14
Out[90]:
18
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
13
Out[90]:
10
Out[90]:
13
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
15
Out[90]:
11
Out[90]:
7
Out[90]:
11
Out[90]:
12
Out[90]:
12
Out[90]:
11
Out[90]:
8
Out[90]:
13
Out[90]:
16
Out[90]:
16
Out[90]:
9
Out[90]:
17
Out[90]:
10
Out[90]:
15
Out[90]:
9
Out[90]:
13
Out[90]:
11
Out[90]:
18
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
12
Out[90]:
7
Out[90]:
17
Out[90]:
13
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
7
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
14
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
7
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
16
Out[90]:
8
Out[90]:
8
Out[90]:
12
Out[90]:
12
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
6
Out[90]:
10
Out[90]:
13
Out[90]:
14
Out[90]:
11
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
14
Out[90]:
16
Out[90]:
18
Out[90]:
10
Out[90]:
7
Out[90]:
13
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
12
Out[90]:
12
Out[90]:
10
Out[90]:
14
Out[90]:
15
Out[90]:
10
Out[90]:
14
Out[90]:
11
Out[90]:
8
Out[90]:
12
Out[90]:
13
Out[90]:
6
Out[90]:
11
Out[90]:
11
Out[90]:
17
Out[90]:
13
Out[90]:
17
Out[90]:
10
Out[90]:
9
Out[90]:
14
Out[90]:
10
Out[90]:
13
Out[90]:
11
Out[90]:
11
Out[90]:
13
Out[90]:
7
Out[90]:
10
Out[90]:
12
Out[90]:
13
Out[90]:
17
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
13
Out[90]:
10
Out[90]:
7
Out[90]:
11
Out[90]:
11
Out[90]:
12
Out[90]:
6
Out[90]:
10
Out[90]:
8
Out[90]:
14
Out[90]:
9
Out[90]:
6
Out[90]:
15
Out[90]:
11
Out[90]:
15
Out[90]:
12
Out[90]:
14
Out[90]:
13
Out[90]:
13
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
12
Out[90]:
15
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
13
Out[90]:
15
Out[90]:
10
Out[90]:
9
Out[90]:
13
Out[90]:
13
Out[90]:
13
Out[90]:
15
Out[90]:
10
Out[90]:
14
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
7
Out[90]:
6
Out[90]:
7
Out[90]:
9
Out[90]:
16
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
19
Out[90]:
8
Out[90]:
14
Out[90]:
13
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
13
Out[90]:
15
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
15
Out[90]:
12
Out[90]:
15
Out[90]:
14
Out[90]:
19
Out[90]:
12
Out[90]:
9
Out[90]:
12
Out[90]:
6
Out[90]:
15
Out[90]:
15
Out[90]:
7
Out[90]:
11
Out[90]:
8
Out[90]:
15
Out[90]:
7
Out[90]:
9
Out[90]:
12
Out[90]:
13
Out[90]:
12
Out[90]:
8
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
15
Out[90]:
13
Out[90]:
19
Out[90]:
12
Out[90]:
12
Out[90]:
16
Out[90]:
12
Out[90]:
12
Out[90]:
11
Out[90]:
8
Out[90]:
20
Out[90]:
12
Out[90]:
14
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
9
Out[90]:
17
Out[90]:
10
Out[90]:
16
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
7
Out[90]:
12
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
15
Out[90]:
9
Out[90]:
18
Out[90]:
13
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
16
Out[90]:
16
Out[90]:
16
Out[90]:
6
Out[90]:
10
Out[90]:
7
Out[90]:
17
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
14
Out[90]:
11
Out[90]:
13
Out[90]:
13
Out[90]:
16
Out[90]:
8
Out[90]:
16
Out[90]:
9
Out[90]:
7
Out[90]:
16
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
9
Out[90]:
17
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
17
Out[90]:
8
Out[90]:
7
Out[90]:
14
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
15
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
13
Out[90]:
9
Out[90]:
13
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
8
Out[90]:
15
Out[90]:
15
Out[90]:
14
Out[90]:
9
Out[90]:
6
Out[90]:
8
Out[90]:
10
Out[90]:
7
Out[90]:
8
Out[90]:
13
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
16
Out[90]:
7
Out[90]:
13
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
16
Out[90]:
18
Out[90]:
9
Out[90]:
13
Out[90]:
6
Out[90]:
13
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
7
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
13
Out[90]:
10
Out[90]:
15
Out[90]:
15
Out[90]:
11
Out[90]:
11
Out[90]:
14
Out[90]:
9
Out[90]:
13
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
14
Out[90]:
8
Out[90]:
7
Out[90]:
12
Out[90]:
19
Out[90]:
12
Out[90]:
10
Out[90]:
8
Out[90]:
13
Out[90]:
12
Out[90]:
9
Out[90]:
13
Out[90]:
18
Out[90]:
10
Out[90]:
17
Out[90]:
14
Out[90]:
11
Out[90]:
14
Out[90]:
6
Out[90]:
14
Out[90]:
7
Out[90]:
13
Out[90]:
6
Out[90]:
9
Out[90]:
10
Out[90]:
15
Out[90]:
6
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
17
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
12
Out[90]:
11
Out[90]:
13
Out[90]:
7
Out[90]:
14
Out[90]:
18
Out[90]:
18
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
16
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
17
Out[90]:
8
Out[90]:
11
Out[90]:
15
Out[90]:
6
Out[90]:
9
Out[90]:
13
Out[90]:
10
Out[90]:
14
Out[90]:
9
Out[90]:
7
Out[90]:
11
Out[90]:
6
Out[90]:
12
Out[90]:
10
Out[90]:
12
Out[90]:
13
Out[90]:
8
Out[90]:
11
Out[90]:
13
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
13
Out[90]:
7
Out[90]:
14
Out[90]:
6
Out[90]:
17
Out[90]:
8
Out[90]:
8
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
11
Out[90]:
7
Out[90]:
18
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
6
Out[90]:
18
Out[90]:
6
Out[90]:
10
Out[90]:
13
Out[90]:
11
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
13
Out[90]:
14
Out[90]:
10
Out[90]:
13
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
12
Out[90]:
13
Out[90]:
12
Out[90]:
7
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
16
Out[90]:
9
Out[90]:
16
Out[90]:
8
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
12
Out[90]:
14
Out[90]:
17
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
11
Out[90]:
11
Out[90]:
12
Out[90]:
14
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
18
Out[90]:
8
Out[90]:
19
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
15
Out[90]:
12
Out[90]:
10
Out[90]:
12
Out[90]:
15
Out[90]:
6
Out[90]:
11
Out[90]:
13
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
7
Out[90]:
7
Out[90]:
12
Out[90]:
8
Out[90]:
6
Out[90]:
12
Out[90]:
18
Out[90]:
11
Out[90]:
7
Out[90]:
10
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
6
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
6
Out[90]:
18
Out[90]:
14
Out[90]:
13
Out[90]:
10
Out[90]:
11
Out[90]:
15
Out[90]:
14
Out[90]:
15
Out[90]:
13
Out[90]:
10
Out[90]:
10
Out[90]:
18
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
15
Out[90]:
11
Out[90]:
10
Out[90]:
7
Out[90]:
7
Out[90]:
13
Out[90]:
17
Out[90]:
8
Out[90]:
14
Out[90]:
11
Out[90]:
12
Out[90]:
13
Out[90]:
10
Out[90]:
15
Out[90]:
10
Out[90]:
10
Out[90]:
7
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
8
Out[90]:
15
Out[90]:
13
Out[90]:
14
Out[90]:
9
Out[90]:
11
Out[90]:
19
Out[90]:
11
Out[90]:
10
Out[90]:
16
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
12
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
12
Out[90]:
7
Out[90]:
13
Out[90]:
12
Out[90]:
11
Out[90]:
13
Out[90]:
9
Out[90]:
15
Out[90]:
19
Out[90]:
8
Out[90]:
13
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
17
Out[90]:
9
Out[90]:
11
Out[90]:
14
Out[90]:
11
Out[90]:
8
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
17
Out[90]:
8
Out[90]:
9
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
6
Out[90]:
15
Out[90]:
12
Out[90]:
10
Out[90]:
6
Out[90]:
9
Out[90]:
9
Out[90]:
15
Out[90]:
10
Out[90]:
10
Out[90]:
19
Out[90]:
10
Out[90]:
18
Out[90]:
10
Out[90]:
14
Out[90]:
7
Out[90]:
12
Out[90]:
12
Out[90]:
14
Out[90]:
7
Out[90]:
8
Out[90]:
14
Out[90]:
10
Out[90]:
8
Out[90]:
13
Out[90]:
11
Out[90]:
15
Out[90]:
10
Out[90]:
13
Out[90]:
6
Out[90]:
12
Out[90]:
13
Out[90]:
13
Out[90]:
12
Out[90]:
6
Out[90]:
13
Out[90]:
7
Out[90]:
13
Out[90]:
12
Out[90]:
11
Out[90]:
19
Out[90]:
14
Out[90]:
11
Out[90]:
14
Out[90]:
13
Out[90]:
8
Out[90]:
9
Out[90]:
7
Out[90]:
8
Out[90]:
14
Out[90]:
12
Out[90]:
14
Out[90]:
6
Out[90]:
7
Out[90]:
18
Out[90]:
14
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
12
Out[90]:
19
Out[90]:
8
Out[90]:
12
Out[90]:
13
Out[90]:
10
Out[90]:
9
Out[90]:
18
Out[90]:
14
Out[90]:
15
Out[90]:
9
Out[90]:
7
Out[90]:
15
Out[90]:
10
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
13
Out[90]:
10
Out[90]:
13
Out[90]:
11
Out[90]:
8
Out[90]:
7
Out[90]:
8
Out[90]:
17
Out[90]:
11
Out[90]:
16
Out[90]:
10
Out[90]:
9
Out[90]:
18
Out[90]:
14
Out[90]:
12
Out[90]:
13
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
11
Out[90]:
13
Out[90]:
11
Out[90]:
9
Out[90]:
14
Out[90]:
8
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
13
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
9
Out[90]:
15
Out[90]:
6
Out[90]:
12
Out[90]:
10
Out[90]:
6
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
19
Out[90]:
12
Out[90]:
8
Out[90]:
11
Out[90]:
12
Out[90]:
8
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
13
Out[90]:
9
Out[90]:
7
Out[90]:
11
Out[90]:
10
Out[90]:
8
Out[90]:
12
Out[90]:
10
Out[90]:
18
Out[90]:
18
Out[90]:
8
Out[90]:
15
Out[90]:
11
Out[90]:
11
Out[90]:
14
Out[90]:
11
Out[90]:
14
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
15
Out[90]:
10
Out[90]:
11
Out[90]:
17
Out[90]:
10
Out[90]:
8
Out[90]:
15
Out[90]:
16
Out[90]:
12
Out[90]:
13
Out[90]:
12
Out[90]:
12
Out[90]:
15
Out[90]:
13
Out[90]:
21
Out[90]:
12
Out[90]:
17
Out[90]:
7
Out[90]:
8
Out[90]:
8
Out[90]:
11
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
15
Out[90]:
12
Out[90]:
11
Out[90]:
17
Out[90]:
10
Out[90]:
10
Out[90]:
15
Out[90]:
11
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
17
Out[90]:
16
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
17
Out[90]:
6
Out[90]:
12
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
12
Out[90]:
8
Out[90]:
18
Out[90]:
10
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
13
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
16
Out[90]:
13
Out[90]:
14
Out[90]:
11
Out[90]:
13
Out[90]:
14
Out[90]:
10
Out[90]:
12
Out[90]:
6
Out[90]:
13
Out[90]:
11
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
9
Out[90]:
13
Out[90]:
9
Out[90]:
6
Out[90]:
14
Out[90]:
13
Out[90]:
8
Out[90]:
6
Out[90]:
9
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
14
Out[90]:
11
Out[90]:
7
Out[90]:
11
Out[90]:
16
Out[90]:
13
Out[90]:
13
Out[90]:
14
Out[90]:
17
Out[90]:
13
Out[90]:
8
Out[90]:
6
Out[90]:
13
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
8
Out[90]:
15
Out[90]:
12
Out[90]:
10
Out[90]:
6
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
11
Out[90]:
12
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
9
Out[90]:
13
Out[90]:
12
Out[90]:
10
Out[90]:
10
Out[90]:
13
Out[90]:
11
Out[90]:
14
Out[90]:
12
Out[90]:
12
Out[90]:
7
Out[90]:
11
Out[90]:
14
Out[90]:
7
Out[90]:
19
Out[90]:
11
Out[90]:
10
Out[90]:
6
Out[90]:
7
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
13
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
14
Out[90]:
13
Out[90]:
9
Out[90]:
13
Out[90]:
9
Out[90]:
13
Out[90]:
12
Out[90]:
12
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
11
Out[90]:
14
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
19
Out[90]:
12
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
7
Out[90]:
14
Out[90]:
6
Out[90]:
8
Out[90]:
12
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
8
Out[90]:
18
Out[90]:
11
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
18
Out[90]:
13
Out[90]:
14
Out[90]:
18
Out[90]:
14
Out[90]:
7
Out[90]:
12
Out[90]:
9
Out[90]:
10
Out[90]:
8
Out[90]:
18
Out[90]:
11
Out[90]:
10
Out[90]:
14
Out[90]:
11
Out[90]:
14
Out[90]:
12
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
11
Out[90]:
14
Out[90]:
8
Out[90]:
11
Out[90]:
10
Out[90]:
14
Out[90]:
8
Out[90]:
19
Out[90]:
11
Out[90]:
8
Out[90]:
9
Out[90]:
11
Out[90]:
9
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
7
Out[90]:
15
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
7
Out[90]:
19
Out[90]:
9
Out[90]:
12
Out[90]:
15
Out[90]:
9
Out[90]:
7
Out[90]:
6
Out[90]:
17
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
8
Out[90]:
12
Out[90]:
14
Out[90]:
15
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
13
Out[90]:
8
Out[90]:
8
Out[90]:
16
Out[90]:
11
Out[90]:
14
Out[90]:
12
Out[90]:
12
Out[90]:
9
Out[90]:
13
Out[90]:
8
Out[90]:
10
Out[90]:
16
Out[90]:
8
Out[90]:
12
Out[90]:
14
Out[90]:
12
Out[90]:
13
Out[90]:
15
Out[90]:
11
Out[90]:
7
Out[90]:
6
Out[90]:
18
Out[90]:
11
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
6
Out[90]:
8
Out[90]:
14
Out[90]:
10
Out[90]:
11
Out[90]:
10
Out[90]:
10
Out[90]:
12
Out[90]:
10
Out[90]:
6
Out[90]:
6
Out[90]:
12
Out[90]:
7
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
11
Out[90]:
14
Out[90]:
9
Out[90]:
9
Out[90]:
14
Out[90]:
14
Out[90]:
10
Out[90]:
7
Out[90]:
7
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
10
Out[90]:
7
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
6
Out[90]:
12
Out[90]:
10
Out[90]:
14
Out[90]:
6
Out[90]:
18
Out[90]:
14
Out[90]:
12
Out[90]:
13
Out[90]:
11
Out[90]:
14
Out[90]:
8
Out[90]:
11
Out[90]:
12
Out[90]:
13
Out[90]:
10
Out[90]:
11
Out[90]:
19
Out[90]:
8
Out[90]:
10
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
9
Out[90]:
13
Out[90]:
10
Out[90]:
12
Out[90]:
16
Out[90]:
11
Out[90]:
13
Out[90]:
6
Out[90]:
10
Out[90]:
10
Out[90]:
8
Out[90]:
14
Out[90]:
8
Out[90]:
10
Out[90]:
13
Out[90]:
13
Out[90]:
9
Out[90]:
8
Out[90]:
15
Out[90]:
8
Out[90]:
18
Out[90]:
12
Out[90]:
11
Out[90]:
13
Out[90]:
8
Out[90]:
16
Out[90]:
12
Out[90]:
12
Out[90]:
11
Out[90]:
12
Out[90]:
10
Out[90]:
11
Out[90]:
12
Out[90]:
7
Out[90]:
8
Out[90]:
13
Out[90]:
6
Out[90]:
12
Out[90]:
16
Out[90]:
18
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
8
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
17
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
10
Out[90]:
13
Out[90]:
14
Out[90]:
8
Out[90]:
6
Out[90]:
9
Out[90]:
11
Out[90]:
6
Out[90]:
15
Out[90]:
12
Out[90]:
10
Out[90]:
9
Out[90]:
11
Out[90]:
16
Out[90]:
9
Out[90]:
11
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
14
Out[90]:
13
Out[90]:
13
Out[90]:
12
Out[90]:
13
Out[90]:
9
Out[90]:
12
Out[90]:
11
Out[90]:
7
Out[90]:
7
Out[90]:
8
Out[90]:
10
Out[90]:
8
Out[90]:
14
Out[90]:
8
Out[90]:
10
Out[90]:
9
Out[90]:
12
Out[90]:
12
Out[90]:
7
Out[90]:
9
Out[90]:
9
Out[90]:
10
Out[90]:
14
Out[90]:
10
Out[90]:
18
Out[90]:
10
Out[90]:
15
Out[90]:
12
Out[90]:
6
Out[90]:
11
Out[90]:
18
Out[90]:
13
Out[90]:
11
Out[90]:
10
Out[90]:
14
Out[90]:
11
Out[90]:
11
Out[90]:
8
Out[90]:
17
Out[90]:
6
Out[90]:
15
Out[90]:
16
Out[90]:
15
Out[90]:
9
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
10
Out[90]:
10
Out[90]:
11
Out[90]:
14
Out[90]:
9
Out[90]:
12
Out[90]:
8
Out[90]:
17
Out[90]:
14
Out[90]:
9
Out[90]:
8
Out[90]:
7
Out[90]:
13
Out[90]:
14
Out[90]:
10
Out[90]:
10
Out[90]:
17
Out[90]:
7
Out[90]:
11
Out[90]:
6
Out[90]:
14
Out[90]:
13
Out[90]:
8
Out[90]:
11
Out[90]:
11
Out[90]:
8
Out[90]:
8
Out[90]:
17
Out[90]:
12
Out[90]:
11
Out[90]:
14
Out[90]:
13
Out[90]:
7
Out[90]:
8
Out[90]:
11
Out[90]:
8
Out[90]:
7
Out[90]:
12
Out[90]:
10
Out[90]:
17
Out[90]:
11
Out[90]:
11
Out[90]:
11
Out[90]:
8
Out[90]:
17
Out[90]:
12
Out[90]:
8
Out[90]:
16
Out[90]:
7
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
7
Out[90]:
9
Out[90]:
7
Out[90]:
12
Out[90]:
12
Out[90]:
14
Out[90]:
11
Out[90]:
12
Out[90]:
8
Out[90]:
17
Out[90]:
15
Out[90]:
12
Out[90]:
10
Out[90]:
15
Out[90]:
13
Out[90]:
17
Out[90]:
12
Out[90]:
9
Out[90]:
9
Out[90]:
8
Out[90]:
6
Out[90]:
12
Out[90]:
11
Out[90]:
10
Out[90]:
7
Out[90]:
10
Out[90]:
9
Out[90]:
10
Out[90]:
11
Out[90]:
13
Out[90]:
10
Out[90]:
17
Out[90]:
13
Out[90]:
12
Out[90]:
8
Out[90]:
12
Out[90]:
15
Out[90]:
11
Out[90]:
14
Out[90]:
11
Out[90]:
9
Out[90]:
9
Out[90]:
13
Out[90]:
10
Out[90]:
14
Out[90]:
8
Out[90]:
7
Out[90]:
13
Out[90]:
14
Out[90]:
13
Out[90]:
10
Out[90]:
13
Out[90]:
9
Out[90]:
8
Out[90]:
10
Out[90]:
18
Out[90]:
13
Out[90]:
9
Out[90]:
9
Out[90]:
13
Out[90]:
7
Out[90]:
11
Out[90]:
10
Out[90]:
12
Out[90]:
8
Out[90]:
8
Out[90]:
10
Out[90]:
15
Out[90]:
17
Out[90]:
14
Out[90]:
9
Out[90]:
12
Out[90]:
13
Out[90]:
7
Out[90]:
12
Out[90]:
9
Out[90]:
11
Out[90]:
17
Out[90]:
11
Out[90]:
12
Out[90]:
18
Out[90]:
10
Out[90]:
16
Out[90]:
10
Out[90]:
9
Out[90]:
16
Out[90]:
10
Out[90]:
15
In [92]:
w = pd.read_csv('/Users/glebsokolov/projects/metadata.tsv')
In [93]:
import plotly.express as px
d = pd.concat([w.astype(str), pd.DataFrame.from_records(reduced_pca),pd.DataFrame.from_records(reduced_lle) ], axis=1).iloc[:1000,:]
d.columns = ['word', 'pca1', 'pca2', 'lle1', 'lle2']
d.word = d.word.apply(lambda x: x[2:-1])
d
Out[93]:
word pca1 pca2 lle1 lle2
0 the -0.060 -0.066 -0.001 -0.002
1 a 0.019 -0.078 0.001 -0.008
2 i -0.049 -0.040 -0.006 -0.004
3 to -0.060 0.023 -0.016 -0.011
4 and -0.087 -0.011 -0.009 -0.006
... ... ... ... ... ...
995 murder -0.237 -0.094 -0.014 -0.014
996 thick 0.077 -0.048 0.002 -0.006
997 kinda -0.013 0.080 -0.006 0.004
998 john -0.030 -0.062 -0.002 -0.003
999 national -0.228 0.049 -0.014 -0.002

1000 rows × 5 columns

In [94]:
px.scatter(data_frame=d, x='pca1', y='pca2', hover_name= 'word')
In [95]:
px.scatter(data_frame=d, x='lle1', y='lle2', hover_name= 'word')
In [17]:
%load_ext tensorboard
%tensorboard --logdir log_dir
In [17]:
import os
save_path = os.path.join(os.getcwd(), 'hateSpeechDetectionModelAdjusted.h5')
model.save(save_path) # saved after learning, load these weights in future
# model.load_weights(save_path)
The Kernel crashed while executing code in the the current cell or a previous cell. Please review the code in the cell(s) to identify a possible cause of the failure. Click <a href='https://aka.ms/vscodeJupyterKernelCrash'>here</a> for more info. View Jupyter <a href='command:jupyter.viewOutput'>log</a> for further details.
In [14]:
from keras.preprocessing.sequence import pad_sequences

def convert_sentence(sentence):
    sentence = tf.strings.substr(sentence, 0, 300)
    sentence = tf.strings.regex_replace(sentence, b"<br\\s*/?>", b" ")
    sentence = tf.strings.regex_replace(sentence, b"[^a-zA-Z']", b" ")
    sentence = tf.strings.split(sentence)
    sentence = table.lookup(sentence)
    return pad_sequences([sentence], 34)
In [38]:
def make_prediction(sentence):
    representation = convert_sentence(sentence)
    d = {0:'hate speech', 1:'offensive language', 2:'neutral'}
    pred = model.predict(representation)
    res = dict(zip(pred.reshape(3, ),  d.values()))
    print(f'Mostly likely this is {colored(d[np.argmax(pred)], attrs=["bold"])}; probabilities for each of classes are:')
    for i in res.items():
        print(f'{i[0]*100:.3f}%: {i[1]}')
In [28]:
t = [
    "fuck you fucking fuck",
    "i hate them",
    "you can take that pus-fucking nigger, enjoy watching him eat your stinking head off and your hairy slit, but I suggest you stop fucking around with that ungrateful chink, you fucker, go back to your monogamous land and take him with you, you're just a faggot for once a week to fuck, cause you're a fucking squeaky moaning twink. good luck in this happy marriage of hammerhead shark and muskrat.",
]
In [40]:
for sentence in t:
    print(f'The sentence: "{sentence}"')
    make_prediction(sentence)
    print('\n')
The sentence: "fuck you fucking fuck"
Mostly likely this is offensive language; probabilities for each of classes are:
34.076%: hate speech
65.729%: offensive language
0.194%: neutral


The sentence: "i hate them"
Mostly likely this is hate speech; probabilities for each of classes are:
67.794%: hate speech
26.344%: offensive language
5.862%: neutral


The sentence: "you can take that pus-fucking nigger, enjoy watching him eat your stinking head off and your hairy slit, but I suggest you stop fucking around with that ungrateful chink, you fucker, go back to your monogamous land and take him with you, you're just a faggot for once a week to fuck, cause you're a fucking squeaky moaning twink. good luck in this happy marriage of hammerhead shark and muskrat."
Mostly likely this is offensive language; probabilities for each of classes are:
30.939%: hate speech
67.459%: offensive language
1.602%: neutral


In [ ]: